下列三段论形式中,第三格的有效式为（）

• A、EAO
• B、IAI
• C、AEE
• D、EAE
• E、AAA

A、B、C三位同学一起做一道数学题,三人得出三种不同答案。现已知:业

(1)如果A的答案正确，则B的答案不正确;

(2)B和C中至少有一人答案正确;

(3)A和C中至少有一人答案不正确。

请问:A的答案是否正确?写出推导过程(设:A表示“A答案正确”，表示“A答案不正确”,其他类同)。

这两个逻辑公式中,它们的（）

• A、变项和逻辑常项相同
• B、变项不同但逻辑常项相同
• C、逻辑常项不同但变项相同
• D、变项和逻辑常项都不同